package algo.LocalSearch;

import algo.Model.VarInt;

public interface IConstraint {
	public int violations();
	VarInt[]	getVariables();
	public int getAssignDelta(VarInt x, int val);
	public void propagateInt(VarInt x, int val);
	public void initPropagate();
	public boolean verify();
}
